A Transaction-Oriented Framework for Composing Transactional Web Services

A Web process (WP) is a process that coordinates a set of Web services, as a cohesive unit of work in order to achieve common goals. In spite of the growing interest to Web services, current technologies are found lacking efficient transactional support for such applications. In this paper, we propose a transactional framework that enhances service description for a better characterization, a more efficient composition, and a more reliable coordination of Web services. In this framework we use the accepted termination states (ATS) property as the correctness criteria to ensure WPs failure atomicity. From a transactional point of view, we consider a WP as a global structured transaction, Web services as sub transactions and interactions as dependencies between sub transactions. The main contribution of this framework is that it is able to incorporate different transactional semantics as well as different behavioral patterns into the same structured transaction, and besides it can validate WPs according to the ATS correctness criteria.